<html>
<body>
Converts a simple getter to a final property.
</body>
</html>